#include <sys/stat.h>
#include <errno.h>
#include <sys/types.h>

#include <linux/kernel.h>
#include <linux/sched.h>

extern int tty_write(int channel, const char* buf, int count);

int sys_write(unsigned int fd,char * buf,int count) {
    if (fd == 1) {
        return tty_write(0, buf, count);
    }

    return 0;
}

